Многозначная логика — это логика, в которой логические выражения могут принимать значения из множества, содержащего более, чем два элемента.